Перевод: с английского на русский

с русского на английский

утверждение (в логике)

  • 1 predicate

    функция, возвращающая логическое значение (logical value). В логическом программировании предикат определяет свойство или соотношение его параметров, приводимых в круглых скобках. Параметры предиката обычно обозначают объекты некоторой предметной области или их свойства. Предикат однозначно определяется именем и числом аргументов. Два предиката с одинаковым именем, но различным числом аргументов, считаются различными. Порядок аргументов предиката связан со смыслом описываемого им соотношения и поэтому не изменяем

    Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > predicate

  • 2 proposition

    1) утверждение, высказывание, суждение
    под высказыванием в обычной логике понимается утверждение или повествовательное предложение, относительно которого можно сказать, истинно оно или ложно (т. е. утверждение о истинности или ложности высказывания должно иметь смысл), при этом оно не может быть и истинным, и ложным одновременно. Высказывания называются простыми (simple proposition), если они не содержат связок, и сложными (compound proposition) в противном случае. Над высказываниями могут производиться логические операции.
    Syn:
    3) предложение, план, проект
    4) глаг. предлагать

    Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proposition

  • 3 beg the question

    1) лог. приводить в качестве аргумента положение, которое само нуждается в доказательстве, подменить посылку желательным для себя выводом (логическая ошибка, связанная с нарушением закона достаточного основания)

    But nothing was more calculated to annoy Halidome than to tell him he was "begging the question", for he prided himself on being strong in logic. (J. Galsworthy, ‘The Island Pharisees’, part I, ch. V) — Ничто не могло так раздосадовать Халидома, как утверждение, что он начинает с желательного для него вывода, а не с доказательства, так как он гордился тем, что был силен в логике.

    2) голословно утверждать (что-л.), приводить в качестве аргумента спорное положение; оставлять под вопросом

    And he went up to his bed. If there was point in anything, it was in perpetuation of oneself, though, of course, that begged the question. (J. Galsworthy, ‘The White Monkey’, part I, ch. XII) — И Сомс пошел спать. Если и был в чем-нибудь смысл, то только в продолжении своего рода, хотя и это еще вопрос.

    But it seems to me you're begging the question. you're assuming that all abnormal conduct is a symptom of mental illness. (M. West, ‘Daughter of Silence’, ch. III) — Ваше утверждение, что любое ненормальное поведение - признак душевного заболевания, представляется мне весьма спорным.

    3) уклоняться от предмета спора, от сути дела, избегать трудностей

    I am not going tonight to beg the question of what sexual reform means. (B. Shaw, ‘Platform and Pulpit’, ‘The Need for Expert Opinion in Sexual Reform’) — Сегодня я не собираюсь уклоняться от обсуждения вопроса о сущности реформы в области секса.

    Large English-Russian phrasebook > beg the question

  • 4 decision problem

    1) мат. задача принятия решений; проблема разрешимости (в логике: задача, связанная с поиском метода для определения того, является ли данная формула или данное утверждение истинным; в более обобщенной трактовке: задача, связанная с определением того, относится ли данный объект к определенной группе, и подразумевающая выбор из двух возможных вариантов ответа "Да" или "Нет"; английский термин является переводом немецкого термина "Entscheidungsproblem")
    2) мет. проблема принятия решения (в самом общем смысле: ситуация, когда необходимо выбрать одну из имеющихся альтернатив)
    See:

    Англо-русский экономический словарь > decision problem

  • 5 positive statement

    2) Юридический термин: положительное утверждение

    Универсальный англо-русский словарь > positive statement

  • 6 NORMATIVE ECONOMICS

    Нормативная экономическая теория
    Экономическая теория, в которой исследуется то, что должно быть, а не то, что есть на самом деле. Например, утверждение, что граждане, которые получают большие доходы, должны платить более высокий подоходный налог, является нормативным. Установленные людьми правила отражают их субъективную точку зрения ( это их субьективные оценочные суждения ( subjective value judgements)) на то, что хорошо или плохо, и основаны на этических соображениях, например, на чувстве справедливости, а не на жесткой экономической логике. Изучением влияния структуры налогообложения на общество занимается позитивная экономика. Ср.: Positive economics. См. Welfare economics.

    Новый англо-русский словарь-справочник. Экономика. > NORMATIVE ECONOMICS

См. также в других словарях:

  • ТЕЗИС (утверждение) — ТЕЗИС (греч. thesis положение, утверждение), 1) в широком смысле любое утверждение в споре или изложении некоторой теории; в узком смысле основополагающие утверждения принципы. 2) В логике утверждение, требующее доказательства …   Энциклопедический словарь

  • Абсурд (в логике) — Абсурд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого»)  нечто нелогичное, нелепое, противоречащее здравому смыслу. Абсурдным считается выражение, которое внешне не является противоречивым, но из которого все …   Википедия

  • Тезис (в логике, философии) — Тезис (греческое thésis положение, утверждение), 1) в логике положение, истинность которого требует доказательства. 2) В философии Г. Гегеля первая ступень триады. 3) Одно из основных положений научного труда, статьи, доклада и т. п. См. также… …   Большая советская энциклопедия

  • ПОСТУЛАТ —         (от лат. postulatum требование), положение (суждение, утверждение), принимаемое в рамках к. л. науч. теории за истинное в силу очевидности и поэтому играющее в данной теории роль аксиомы (наряду с аксиомами логики). Таковы, напр., галиле… …   Философская энциклопедия

  • АПОФАНЗИС — (греч. ἀπόφανσις, букв. – заявление, утверждение) – в логике Аристотеля суждение – речь, в к рой посредством утверждения или отрицания полагается что либо как существующее или не существующее. Аристотель различает грамматич. (имя и глагол) и… …   Философская энциклопедия

  • Фи (буква) — Греческий алфавит Α α  альфа Β β  бета …   Википедия

  • Фи — Греческий алфавит Αα Альфа Νν Ню …   Википедия

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • Гегель Георг — Жизненный путь     Георг Вильгельм Фридрих Гегель родился в Штутгарте в 1770 г. Его отец был государственным чиновником, и доходы позволяли дать сыну высшее образование. В местной гимназии Гегель изучал греческую и латинскую классику. С годами… …   Западная философия от истоков до наших дней

  • ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

  • ТЕЗИС — (греч. thesis положение, утверждение) 1) в логике Т. называется утверждение, подлежащее доказательству; 2) в теории аргументации Т. положение, которое доказывающая сторона находит нужным внушить аудитории, сделать составной частью ее убеждений;… …   Философская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»